Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
131	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 PreScheme Scheme programming language Logic in computer science Compiler construction Programming language semantics Source code Software engineering Computer programming Computing
132	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:12 Software engineering Logic in computer science Programming language semantics Type systems Denotational semantics Programming language Type inference Operational semantics Semantics Programming language theory Theoretical computer science Type theory
133	Polymorphic Embedding of DSLs Christian Hofer Klaus Ostermann Tillmann Rendel Adriaan Moors Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2008-08-04 08:41:32 Logic in computer science Type theory Programming language semantics Functional languages Denotational semantics Domain-specific language Scala Semantics Programming language Computing Software engineering Theoretical computer science
134	Does an XML Document Have Semantics? Roger L. Costello December 1, 2013 Semantics is Slippery Semantics is such a slippery subject. Every time I think that I have it resolved in my mind, I see another Add to Reading List Source URL: www.xfront.com Language: English - Date: 2013-12-01 05:26:25 Technical communication XML Programming language Uniform resource identifier SXML DocBook Computing OSI protocols Markup languages
135	Technical Report UCAM-CL-TR-568 ISSNNumber 568 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:56:16 Logic in computer science Models of computation Programming language semantics Type theory Lambda calculus Name binding Type system Operational semantics Programming language Theoretical computer science Programming language theory Software engineering
136	HENRY LIEBERMAN AND HUGO LIU FEASIBILITY STUDIES FOR PROGRAMMING IN NATURAL LANGUAGE Media Lab, Massachusetts Institute of Technology, Cambridge, MA, USA Add to Reading List Source URL: larifari.org Language: English - Date: 2014-02-14 14:48:52 Computational linguistics Natural language processing User interfaces Multimodal interaction Pacman Programming language Semantics Natural language user interface Natural language understanding Software Application software Digital media
137	TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications A. Doroshenko1, R. Shevchenko2 1 Add to Reading List Source URL: www.gradsoft.com.ua Language: English - Date: 2005-10-06 06:06:53 Logic in computer science Formal languages Programming language semantics Combinatorics on words Rewriting Unification Drools Operational semantics Programming language Theoretical computer science Mathematics Applied mathematics
138	Toward a Programmatic Semantics of Natural Language Add to Reading List Source URL: larifari.org Language: English - Date: 2014-02-14 14:48:52 Semantics Pacman Subject Verb argument Valency Programming language Voice Object-oriented programming Auxiliary verb Linguistics Syntax Grammar
139	Gradual Typing: Isabelle/Isar Formalization Jeremy Siek and Walid Taha April 7, 2006 theory GradualTyping = Main + LaTeXsugar + OptionalSugar : datatype base-ty Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-17 16:43:12
140	Applied Semantics: Specifying and Developing Abstractions for Distributed Computation (Grand Challenge Discussion Paper – GC2, GC4, and GC6) Peter Sewell Keith Wansbrough Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:11:35 Logic in computer science Programming language semantics Denotational semantics Programming language Semantics Communications protocol OCaml Computer science Computing Theoretical computer science Software engineering

UPDATE